Config.mk: update mini-os changeset
authorWei Liu <wei.liu2@citrix.com>
Wed, 4 Oct 2017 14:00:31 +0000 (15:00 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 4 Oct 2017 14:14:51 +0000 (15:14 +0100)
commit0b0ca65b54ecc7ec90805e2a33879e78104d9f08
tree07267d895c120d986087a31c1cb409c8f3c5d9fa
parent18b1be5e324bcbe2f10898b116db641d404b3d30
Config.mk: update mini-os changeset

It contains build fix for stubdom.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Config.mk